var searchData=
[
  ['local_20search_16884',['Local Search',['../group__local__search.html',1,'']]]
];
